41. Applied parallel computing : Industerial computation and optimization: third International Workshop, PARA'96, Lyngby, Denmark, August 18-21, 1996 : proceedings
پدیدآورنده : Jerzy Wasniewski ... ]et al[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1184
42. Applied parallel computing : advanced scientific computing : 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002 : proceedings
پدیدآورنده : Juha Fagerholm...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2367
43. Applied parallel computing : industrial computation and optimization : Third International Workshop, PARA 96, Lyngby, Denmark, August 18-21, 1996 : proceedings
پدیدآورنده : PARA 96, )1996 : Lyngby, Denmark(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Parallel processing )Electronic computers( - Congresses
رده :
QA
76
.
58
.
P35
1996
44. Applied parallel computing : large scale scientific and industrial problem : 4th International Workshop, PARA'98, Umea, Sweden, June 1998 : proceedings
پدیدآورنده : Bo Kagstrom...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1541
45. Applied parallel computing : new paradigms for HPC in industry and academia : 5th international workshop, PARA 2000, Bergen, Norway, June 18-20, 2000 : proceedings
پدیدآورنده : Tor Sorevik...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، High performance computing
رده :
QA
76
.
L28
Vol
.
1947
46. Automated reasoning with analytic tableaux and related methods : Internaitonal Conference, TABLEAUX'97
پدیدآورنده : Didier Galmiche )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1227
47. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
48. CONCUR '95 :
پدیدآورنده : Insup Lee, Scott A. Smolka, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
49. CONCUR 2002 – Concurrency Theory
پدیدآورنده : \ [Edited by] Luboš Brim ... [et al.]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Parallel processing (Electronic computers) -- Congresses.,پردازش موازی -- کنگره ها
رده :
E-Book
,
50. CONCUR'98 : Concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
پدیدآورنده : Davide Sangiorgi, Robert de Simone )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1466
51. CONCUR'96 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
پدیدآورنده : Ugo Montanari, Vladimirio Sassone )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1119
52. CONCUR'97 : Concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings
پدیدآورنده : Antoni Mazurkiewicz, Jozef Winkowski )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1243
53. CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic computers(--Congresses
رده :
QA
76
.
58
.
I53
1992
54. CONCUR'92 : Third International Conference on Concurrency Theory , 1992: proceedings
پدیدآورنده : W.R. Cleaveland, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
630
55. CONCUR 2009--concurrency theory
پدیدآورنده : Mario Bravetti, Gianluigi Zavattaro (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
I53
2009eb
56. CONCUR 2012 - concurrency theory
پدیدآورنده : Maciej Koutny, Irek Ulidowski (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer multitasking, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
I58
2012eb
57. CONCUR 2002-concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings
پدیدآورنده : Lubos Brim...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2421
58. CONCUR 2005 -- concurrency theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings
پدیدآورنده : Martin Abadi, Luca de Alfaro )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer multitasking
رده :
QA
76
.
L28
Vol
.
3653
59. CONCUR'99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
پدیدآورنده : Jos C.M. Baeten, Sjouke Mauw )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer multitasking
رده :
QA
76
.
L28
Vol
.
1664
60. CONCUR 2004--concurrency theory : 15th International Conference, London, UK, August 31 - September 3, 2004 : proceedings
پدیدآورنده : Philippa Gardner, Nobuko Yoshida )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer multitasking
رده :
QA
76
.
L28
Vol
.
3170
